Laure Petrucci: przeszukaj witrynę Z-Library

Darowizna 15 września 2024 – 1 października 2024 O zbieraniu funduszy

Swobodny dostęp do wiedzy i kultury.

Darowizna 15 września 2024 – 1 października 2024

Z-Library to jedna z największych bibliotek internetowych na świecie, w której znajduje się więcej 17,000,000 książek i 84,837,000 artykułów. Staramy się, aby literatura była dostępna dla każdego. Dziś (15 września 2024) otwieramy kolejną zbiórkę darowizn na wsparcie i rozwój projektu.

Również BEZLIMITOWE pobrania (w ciągu 31 dni od dnia przekazania darowizny) są dostępne dla WSZYSTKICH użytkowników, którzy będą wspierać projekt w okresie zbierania funduszy do 1 października 2024.

O zbieraniu funduszyWięcej szczegółów

Wesprzyj darowizną

Książki (12)
Najbardziej popularne
Spis
- Spis
- Tablica

1

Distributed Systems: Design and Algorithms

Distributed Systems: Design and Algorithms

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

Rok:

2011

Język:

english

Plik:

PDF, 5.10 MB

0 / 0

english, 2011

2

Models and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

Rok:

2011

Język:

english

Plik:

PDF, 3.80 MB

0 / 0

english, 2011

3

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,

Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy,

Springer International Publishing

Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti (editors)

Rok:

2017

Język:

english

Plik:

PDF, 7.75 MB

0 / 0

english, 2017

4

Distibuted Systems: Design and Algorithms

Distibuted Systems: Design and Algorithms

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

Rok:

2011

Język:

english

Plik:

PDF, 5.36 MB

0 / 0

english, 2011

5

Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 3.47 MB

0 / 0

english, 2011

6

Models and Analysis in Distributed Systems

Models and Analysis in Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

Rok:

2013

Język:

english

Plik:

PDF, 3.83 MB

0 / 0

english, 2013

7

Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 4.39 MB

0 / 0

english, 2011

8

Distibuted Systems: Design and Algorithms

Distibuted Systems: Design and Algorithms

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

Rok:

2011

Język:

english

Plik:

PDF, 5.09 MB

0 / 0

english, 2011

9

Models and Analysis for Distributed Systems

Models and Analysis for Distributed Systems

Serge Haddad, Fabrice Kordon, Laurent Pautet, Laure Petrucci

Rok:

2011

Język:

english

Plik:

PDF, 4.09 MB

0 / 0

english, 2011

10

Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

Brian Randell (auth.), Lars M. Kristensen, Laure Petrucci (eds.)

Rok:

2011

Język:

english

Plik:

PDF, 5.05 MB

0 / 0

english, 2011

11

Systems and Software Verification: Model-Checking Techniques and Tools

Systems and Software Verification: Model-Checking Techniques and Tools

Springer-Verlag Berlin Heidelberg

Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie (auth.)

Rok:

2001

Język:

english

Plik:

PDF, 6.23 MB

0 / 0

english, 2001

12

Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Application and Theory of Petri Nets and Concurrency: 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Luca Bernardinello, Laure Petrucci

Rok:

2022

Język:

english

Plik:

PDF, 22.04 MB

0 / 5.0

english, 2022